Il linguaggio di programmazione Rust: La filosofia della affidabilità e del gestione degli errori

L'approccio di Rust all'affidabilità non si limita a evitare bug; è una filosofia di progettazione consapevole. Categorizza ogni possibile errore in due domini: Recuperabile e Irrecuperabile errori. Ciò garantisce che i sistemi siano resistenti, prevedibili e protetti da corruzione silenziosa dei dati.

1. La tassonomia degli errori

Un errore recuperabile (come un file mancante) è un ostacolo previsto in cui il programma può riprovare o informare l'utente. Un errore irrecuperabile (come un sovraccarico del buffer) rappresenta un'interruzione logica in cui l'azione più sicura è interrompere immediatamente — il principio del Fail-Fast principio.

2. Sviluppo basato su contratti

L'affidabilità si ottiene attraverso confini chiari. Se i prerequisiti di una funzione sono soddisfatti ma fattori esterni causano un errore, restituisci un Result. Se la logica interna viola gli invarianti fondamentali, Rust obbliga a fermare l'esecuzione per prevenire ulteriori danni allo stato del sistema.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Which of the following best describes a 'recoverable error' in Rust?

A total breakdown of logic where the program must halt.

An expected situation, such as a missing file, that the program can handle.

A memory leak that is automatically fixed by the compiler.

An error that only occurs in debug mode.

QUESTION 2

What is the primary purpose of an 'unrecoverable error' (panic)?

To notify the user that their password was incorrect.

To stop execution immediately when a bug or contract violation is detected.

To provide a way for the program to retry a network request.

To optimize the code for better performance.

QUESTION 3

Why does Rust prefer explicit error handling over exceptions?

To make the code harder to read for security.

To prevent 'silent failures' that lead to corrupted states or vulnerabilities.

Because Rust does not have a stack to bubble up errors.

To allow the program to ignore errors completely.

QUESTION 4

If a function receives input that violates its core invariants (a bug), it should:

Return a Result::Err.

Panic to signal a logic error.

Ignore the input and return a default value.

Print a warning and continue.

QUESTION 5

Which Rust type is used to represent a recoverable failure?

Option<T>

Result<T, E>

panic!

Box<dyn Error>